موراي يواجه نادال في «افتراضية المنطق»